headers_ocarina: headers_ocarina.adb
	$(GNATMAKE) $(srcdir)/headers_ocarina.adb

EXTRA_DIST= $(srcdir)/reconfig

CLEANFILES = *.o *.ali b~*.ads b~*.adb

DISTCLEANFILES = headers_ocarina

